방사청 주최로 ˝제3회 무기체계 SW 발전 컨퍼런스˝가 공군 회관에서 진행되오니, 많은 참석 바랍니다.

□ 행사 일반
 ○ 일시 : ‘14.9.17(수) 13:00 ∼ 18:00 
 ○ 장소 : 공군회관
 ○ 주최 : 방위사업청
 ○ 주요 내용 : 국방 SW 정책 및 기술 등 주제발표, 국산SW 소개 등
 ○ 참석 : 산·학·연·군 등 무기체계 SW 관련 기관/업체 약 600명

□ 소프트4소프트의 행사 일정(17:15~17:40)
 ○ Advanced Run-time Analysis의 신기술 발표 및 전시
  - 프로그램의 동적 특성을 수학적 분석으로 검증하는 기법 소개
  - 프로그램의 가능한 모든 행위, 즉 값의 모든 가능한 조합을 조사하여, 에러가 발생될 수 있는 조건이 무엇인지를 탐지하는 기술입니다.
    . Value-based Interprocedural Data-flow Analysis
    . Value Range Tracking & View